отрицание дизъюнкции

отрицание дизъюнкции

 

отрицание дизъюнкции

[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • non-disjunction


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "отрицание дизъюнкции" в других словарях:

  • ОТРИЦАНИЕ —         филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает …   Философская энциклопедия

  • ОТРИЦАНИЕ. — ОТРИЦАНИЕ. 1. В естественном языке в зависимости от местоположения различают внешнее и внутреннее отрицание.     Внешнее (пропозициональное) служит для образования сложного высказывания из другого (не обязательно простого) высказывания. В нем… …   Философская энциклопедия

  • отрицание —         ОТРИЦАНИЕ (в логике) специальная логическая операция. В зависимости от местоположения различают внешнее и внутреннее О., свойства и роли которых существенно различаются.         1. Внешнее О. (пропозициональное) служит для образования… …   Энциклопедия эпистемологии и философии науки

  • ЗАКОНЫ ДЕ МОРГАНА — законы логики высказываний, связывающие отрицание с операциями конъюнкции и дизъюнкции, соответствующими логич. союзам и и неразделительному или естеств. языка. З. де М. в словесной формулировке были известны еще схоластич. логикам. В математич.… …   Философская энциклопедия

  • закон де моргана — общее название логических законов, связывающих с помощью отрицания конъюнкцию ( и ) и дизъюнкцию ( или ). Названы именем англ. логика XIX в. А. де Моргана. Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции… …   Словарь терминов логики

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …   Википедия

  • Булева логика — Не следует путать с булевой алгеброй. Алгебра логики раздел математической логики, в котором изучаются логические операции над высказываниями. Высказывания могут быть истинными и ложными. Содержание 1 Определение 2 Аксиомы 3 Логические операции …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»